Implementation theory

Results: 811



#Item
61Functional languages / Object-oriented programming languages / Data types / Parsing / Type theory / F Sharp / Lexical analysis / Type system / OCaml / Anonymous function / Scala / Type inference

The F# 4.0 Language Specification Note: This documentation is the specification of version 4.0 of the F# language, released inDiscrepancies may exist between this specification and the 4.0 implementation. Som

Add to Reading List

Source URL: fsharp.org

Language: English - Date: 2016-08-15 16:34:27
62Educational psychology / Education theory / Alternative education / Experiential learning / Educational technology / Information technology / Reflective practice / Problem-based learning / Situated learning

Painting the Canvas of Professional Learning Development and Implementation Don Lourcey

Add to Reading List

Source URL: www.nc-sis.org

Language: English - Date: 2016-02-03 15:11:12
63Biometrics / Cryptography / Coding theory / Fuzzy extractor / Private biometrics / Error detection and correction / Password / Public key fingerprint / Cyclic redundancy check / Cryptographic hash function / Matching / Key

Bipartite Biotokens: Definition, Implementation, and Analysis W.J. Scheirer2,1,† and T.E. Boult1,2,†,? 1 Univ. of Colorado at Colorado Springs, Colorado Springs, CO

Add to Reading List

Source URL: www.vast.uccs.edu

Language: English - Date: 2010-10-23 12:03:49
64Database theory / Logic

Bayesian and Dominant Strategy Implementation Revisited Alex Gershkov, Benny Moldovanu and Xianwen ShiAbstract

Add to Reading List

Source URL: pluto.huji.ac.il

Language: English - Date: 2014-02-02 05:15:06
65Database theory / Logic

Bayesian and Dominant Strategy Implementation Revisited Alex Gershkov, Benny Moldovanu and Xianwen ShiAbstract

Add to Reading List

Source URL: www.econ2.uni-bonn.de

Language: English - Date: 2014-03-26 06:49:17
66Finite fields / Group theory / Logarithms / Public-key cryptography / Computer algebra / Discrete logarithm / CantorZassenhaus algorithm / Index calculus algorithm / Baby-step giant-step / Exponentiation / DiffieHellman key exchange / Algorithm

Public Key Cryptography Using Discrete Logarithms in Finite Fields: Algorithms, Efficient Implementation and Attacks L. Maurits)

Add to Reading List

Source URL: www.luke.maurits.id.au

Language: English - Date: 2016-04-23 00:53:29
67Riemann surfaces / Algebraic surfaces / Analytic number theory / Elliptic curve / Group theory / Kummer surface / Pi / Theta function

. Genus 2 formulae based on Theta functions and their implementation Pierrick Gaudry

Add to Reading List

Source URL: mathsci.ucd.ie

Language: English - Date: 2007-09-09 18:45:21
68Statistics / Statistical inference / Statistical theory / Science / Philosophy of science / Scientific method / Hypotheses / Design of experiments / Bayesian inference / Statistical hypothesis testing / Hypothesis

SparkTrails: A MapReduce Implementation of HypTrails for Comparing Hypotheses About Human Trails Martin Becker Hauke Mewes

Add to Reading List

Source URL: dmir.org

Language: English - Date: 2016-01-05 08:27:44
69Elliptic curve cryptography / Pairing-based cryptography / Linear algebra / Mathematics / Module theory / Pairing

Software implementation of pairings Diego de Freitas Aranha September 21, 2011 Department of Computer Science University of Bras´ılia

Add to Reading List

Source URL: ecc2011.loria.fr

Language: English - Date: 2011-09-30 12:40:03
70Motivation / Behavior / Action philosophy) / Psychology / Implementation intention / Self-regulation theory / Goal setting / Control / Goal orientation / Goal / Self-efficacy / Habit

Health Psychology 2013, Vol. 32, No. 5, 487– 498 © 2013 American Psychological Association/$12.00 DOI: a0028533

Add to Reading List

Source URL: labs.psy.ohio-state.edu

Language: English - Date: 2013-10-02 16:31:29
UPDATE